// Copyright (C) Kumo inc. and its affiliates.
// Author: Jeff.li lijippy@163.com
// All rights reserved.
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU Affero General Public License as published
// by the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU Affero General Public License for more details.
//
// You should have received a copy of the GNU Affero General Public License
// along with this program.  If not, see <https://www.gnu.org/licenses/>.
//

#include <cantor/unresolved/ctors/map_pair.h>
#include <cantor/unresolved/expr_traits.h>
#include <cantor/unresolved/dispatch_expr.h>

namespace cantor::unresolved {
    /// check the expr visitor must in global traits list
    static_assert(unresolved::isInAllExprList<unresolved::UnresolvedMapPair>::value, "not in all visitor lists");

    UnresolvedDispatchExpr UnresolvedMapPair::key() const {
        KCHECK(has_key());
        return UnresolvedDispatchExpr(&instance.key());
    }

    UnresolvedDispatchExpr UnresolvedMapPair::value() const {
        KCHECK(has_value());
        return UnresolvedDispatchExpr(&instance.value());
    }
} // namespace cantor::unresolved
